Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
004693 | Olfa Mosbahi [France] ; Jacques Jaray [France] ; Samir Ben Ahmed [Tunisie] | Spécification et vérification des propriétés de vivacité en B événementiel |
007F32 | Olfa Mosbahi [Tunisie] ; Leila Jemni Ben Ayed [Tunisie] ; Samir Ben Ahmed [Tunisie] ; Jacques Jaray [France] | A Specification and Validation Technique Based on STATEMATE and FNLOG |
This area was generated with Dilib version V0.6.33. |